You can convert anything using mencoder (command line encoder from mplayer) or ffmpeg.
There are some scripts and frontends to ease the use of mencoder (use the search function here and look in the mplayer homepage mplayerhq.hu)