Ну вот распугал всех чайников.. .:)
Я пользуюсь прогой PacketVideoRecorder - прекрасно жмёт avi и mpeg в 3gp. ДВД формат не понимает.
Насчёт других фоматов не знаю. - не возникало необходимость жать чтото ещё кроме ави.
Зайди
http://www.packetvideo.com/ но там скорее всего платная версия - крякнутую ищи в нете сам.