Como te dijo rozlilta, si tu tienes un AVI, la pista de video seguro que está hecha en MPEG-4, y tanto DivX como XviD son codecs MPEG-4, o sea que no tienes que hacer nada... Los programas que te sugirió te sirven por ejemplo para recomprimir un AVI o para pasar un MPG a AVI... Y por cierto yo prefiero el virtualdubmod en su última versión (
http://prdownloads.sourceforge.net/v...e.zip?download), está muy mejorado.
Saludos