Das Zauberwort heißt Dr. Divx!. Ist wohl die beste Methode Videos zu komprimieren; Konvertieren.
Download Trial Version

In dem Fall heißt es Encoder, weil ein Decoder, wie der Name schon sagt, zum dekodieren ist.
divx.com/ <--Da findest du weitere Informationen zu DivX.
Andernfalls kannst du afaik mit dem MPG-Codec komprimieren.

Entweder die Vollversion kaufen, oder einen anderen Encoder suchen. Google spuckt eigentlich recht viele aus.

Du kannst dir auch ganz einfach Virtual Dub runterladen und dann damit deine Videos in DivX, Xvid oder was auch immer komprimieren. So machs ich auch immer. In dem Fall reicht dir der auch der gratis DivX Codec.
Virtual Dub ist zwar nicht ganz so einfach wie Dr.DivX aber es sind viele gute Anleitungen im Internet zu finden und wenn dus einmal kannst ist es ganz einfach.

Ich würde ja empfehlen DivX links liegen zu lassen und einen Open Source Codec wie XviD (sehr einfach zu bedienen) oder den ffdshow-encoder (schwierig zu bedienen wegen den vielen einstellungen, kann aber wenn man's drauf hat ne unglaublich hohe Qualität erreichen) zu verwenden.
Die sind beide kostenlos und man kann alle Funktionen nutzen ohne an eine raffgierige Firma Geld zu blechen xD

Als Encoding-software ist wie schon vor mir gesagt wurde VirtualDub in Ordnung und die passenden codecs gibt's hier:
koepi.org/xvid.shtml

(der ffdshow-encoder ist nichts für anfänger, ich poste die url trotzdem mal.)
sourceforge.net/project/showfiles.php?group_id=53761
(ffdshow-20041012 ist die momentan beste Version)

Die Anleitungen von http://www.doom9.org sollten reichen um mit VDub und XviD klarzukommen.