Damit kannst du auf jeden Fall erst mal den Film drehen. Vorsicht, das AVI wird verdammt groß. Danach würde ich dit TMPGEnc empfehlen. Das mit dem Drehen habe ich schon gemacht (mein Bruder hatte mit seinem Fotoapparat Videosequenzen im Hochformat aufgezeichnet

).
Da das Abspielen mit dem divX Player funktioniert, muss es da aber noch einen einfacheren Weg geben. Ich melde mich noch mal.