Hola, recomiendo usar SoundTaxi Media Converter o MediaBuddy, que mantienen un montón de formatos, soportan tales vídeo formatos populares como DivX AVI, MP4, Windows Media, Flash Video, 3gp, flv, avi etc., y se puede elegir la calidad del vídeo
Saludos