Anota por favor una alternativa mas a las que ya conoces para convertidores de formato. Te presento Adapter que lo mismo trabaja en PC o Mac para convertir cualquier archivo de video de uno a otro formato. Hay muchos de ellos y solo basta descargarlo para poder utilizarlo.
Lo que es mejor aun es que igual lo puedes utilizar para convertir archivos de audio o de imágenes. Asi que ve la lista completa de formatos para que veas lo versátil que resulta.