В принципе DivX сам по себе имеет инструменты сжатия. Ну а так - любой более-менее приличный видео-редактор. По сути, сжатие видео - это сохранение видео файла с использованием определенного кодека, но при этом степень сжатия обратнопропорциональна качеству.
Ну а что касается конкретики, то читай мой пост тут, немного выше
Просто Shareware нормальной программы для этих целей ты не найдешь, так что лучше поройся в Google и скачай программу + crack.