Potresti provare con Virtualdub.
Carichi l'avi, vai nel menu video, scegli la compressione con divx, scegli il formato che vuoi e salvi il file con un altro nome ricomprimendolo.
Dovrebbe funzionare.