Creo que te interesaría echar un vistazo a esta url:
http://es.wikipedia.org/wiki/AVCHD
Sobre todo a la parte que comienza por:
"Resumiendo, para PC los programas que lo editan son:"
Supongo que alguno te permitirá elegir el formato del fichero del video procesado.
Suerte