Pare che si possa convertire con
Quick Video Converter (si tratta di un programma shareware [costa sui 30 dollari, se non ricordo male], che può essere usato gratis solo come prova: se non lo si acquista, si soffre la limitazione che non si posson convertire pià di 15 files, credo).
Non so però se ciò sia vero, nel senso che ho trovato a mia volta questa soluzione in Rete:
http://it.answers.yahoo.com/question/index?qid=20080101091232AAGR6xqDa qui puoi scaricare l'installer del programma (che, lo ripeto NON è freeware!)
http://www.video2x.com/