Para mi y (he probado con todos los que ponen por aqui) es el pocketdivxencoder.
Sin duda es el mas rápido de todos para empezar.
Lo que hago es seleccionar VGA E800, mantengo el aspect ratio y bajo la resolución entre 400 y 450 el primer número (el otro va enlazado si mantienes el aspecto ratio)
La calidad de video la bajo a 50 y el sonido busco el que tenga 96.
Con todo ello se genera un avi bastante ligero que con el Coreplayer se ve perfecto.
Lo unico que hay que hacer entonces es con el Coreplayer buscar un entorno de pantalla en las opciones que ocupe toda la pantalla sin deformar.
Para mi es sin duda el mejor metodo.