Тот же VirtialDub. Только надо, чтобы был установлен, помимо кодека DivX (который будет нужен для открытия исходного фильма) и кодек XviD. В настроках компрессии выбираете нужный кодек (в данном случае XviD), настраиваете в нем параметры сжатия (битрейт и т.п.), формат сжатия (кодек XviD универсальный, он может сжимпть не только в своем родном формате XviD, но и в форматах DivX всех версий, причем соотношение размер/качество при сжатии им в форматах DivX лучше, чем у "родного" кодека DivX) и кодируете.
О настройках кодека XviD смотрим здесь:
http://dvdtocd.info/xvid.htm