Lo mejor para mi es que lo pases a JPEG que sera el formato que menos ocupa aunque pierda un poco de calidad.
Casi cualquier programa de edicion de video te suele dar la opcion para cambiarlo de formato, yo utilizo el POWER DIRECTOR de CYBERLINK, con el programa de edicion que se encuentra en el NERO 7 creo que tambien puedes cambiarlo de formato.
No obstante creo que tienes programas especializados para cambiar formatos pero ya te digo que yo al menos asi lo hago.