Con virtual dub o virtual dubmod puedes comprimir a avi. Son faciles de usar, aunque hay que cogerle el trnaquillo y tener paciencia y sobre todo porbar las opciones.
Por otro lado el avi es mpg4 y divX y Xvid son codecs del mismo formato (*.avi)
Aquí te dejo unos enlaces de los programas.
Virtual dub Virtual Dub Mod