AVI como bien has dicho es un formato. Pero DivX o XviD son codecs de video. Con estos codecs se comprimen los avi.
Con el programa Gspot puedes mirar con que codecs está comprimido un video. Por lo tanto si indicara que tus avi están comprimidos con el codec Divx no tendrías porque volver a procesarlos.
Sin embargo si estuvieran en XviD podrías utilizar el Virtualdub para comprimirlos con el codec DivX. Mira este tutorial:
http://foro.elhacker.net/index.php/topic,21841.0.html
Ten en cuenta que este tutorial es para insertar subtítulos con el Virtualdub, por lo tanto los únicos pasos que debes seguir son los que indican como comprimir el video y el audio. El paso en el que te explica como instertar subtitulos no lo sigas ya que no es tu caso.
Por cierto, con el Virtualdub también podrás saber con que codec está comprimido el video, vas a la pestaña Fichero y ahí selecciona "Información del Archivo"

Cualquier duda coméntala.

Saludos