Podrías probar con
easi avi converter, que te transforma todos los formatos a todos los formatos.
virtualdub, que tambien es muy bueno.
No los he usado, pero dicen que funcionan bien.
Como alternativa podrías bajar alguno y probarlo.
Espero te sirva alguno.