Hola,
lamentablemente este foro no da soporte a estos temas, por obvias razones, pero en general deberías usar un editor de vídeos,, ingresas el vídeo y lo exportas o guardas en formato AVI que la mayoría de los editores de vídeo disponen de tal formato. Puedes buscar en Internet algún tutorial al respecto.
Saludos.
