El VirtualDub también serviría, puede convertir cualquier cosa mientras tengas codecs, lo que no se cuan difícil será de manejar en comparación con otros para un usuario nuevo.
Yo es que hace tantos años que lo he usado (junto con el TMPGEncoder) que ya no recuerdo lo que me costó aprender a usarlo, solo se que me manejo bastante bien con ellos, jejeje
salu2.