ciao

se non è un file troppo grande puoi usare anche qualche servizio on-line:
http://media-convert.com/