Ciao Ruozi,

Puoi verificare l'effettivo codec utilizzato con GSpot
http://www.headbands.com/gspot/

e/o il VirtualDub
http://www.virtualdub.org/

Quest'ultimo è in genere in grado di convertire tra formati differenti.
Ciaooooo