Necesitarías el GSpot para averiguar el bitrate de video, y el virtualdubmod.
Una vez sepas el bitrate de video, abres la pelicula en virtualdubmod (si al abrirlo te sale un aviso de audio VBR dale a no), luego en el menú video marcas "Fast recompress" y en Compression seleccionas el codec DivX (se supone que lo tienes instalado) y lo configuras: 1-pass (una pasada) y le pones el mismo bitrate de video que habías hallado en el GSpot.
Finalmente en File -> Save as... lo guardas, pero pon otro nombre para no sobreescribirlo. Y a esperar que termine...
Saludos