Hola, prueba con 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, MPEG4, m4v, mov etc., y se puede elegir la calidad del vídeo
Saludos