Tomahawk, como dice Ferny, Divx es un vídeo AVI, pero comprimido internamente en otro formato.
El AVI que tú tienes, podría estar comprimido internamente en Indeo, Cinepack o puede que MJPEG. Lo que tienes que generar es otro vídeo AVI, pero internamente codificado en DivX (MPEG4).
Herramientas: Virtualdub y DivX códec.
http://wwww.virdualdub.org
http://wwww.divx.com
Una vez los instales (creo que después de instalar divx hay que reiniciar) abres con virtualdub tu vídeo. Vete a menú VIDEO >> COMPRESSION y selecciona el divx de la lista (pulsa configure para establecer nivel de calidad y otros parámetros). En menú AUDIO >> COMPRESSION selecciona MP3 (sería lo más lógico) y de la lista el bitrate que te sea necesario.
Visita la página de Ferny para más información. ;)
<table border=2 bordercolor=white cellspacing=0 cellpadding=0><tr><td><a href="http://stop1984.com/index2.php?text=letter.txt" target="_blank"><img src="http://stop1984.com/g/sosprivacy.gif" border=0 alt="SOS privacy"></a></td></tr></table>