Pues puedes intentar hacerlo con el virtualdubmod, y comprimiendo a divx y usando un resize a 640x480, hacerse supongo que lo podras hacer, lo que no se es la calidad que obtendras, pero hazlo con un trozo de un minuto y asi compruebas como se ve, y si funciona luego solo tienes que volver a pasar el avi a mpg con tmpgenc y tostar a dvd.

Saludosss

__________________