Сжимают не прогами, а кодеками. В принципе подойдет любая монтажная прога, а вот кодеки нужно искать и устанавливать самому, причем и для видео (например mpeg4) и для звука (например mp3). Поищи рамблером — в сети море советов. Скачай бесплатный и сверхпопулярный VirtualDub. Им вполне сжать можно (при наличии кодека), правда разрешение Дуб не меняет (по крайней мере, та версия, что есть у меня).