Can mplayer play it? if it can then mencoder can convert it. I'd go down that route.