ИА
Илья Александров
avidemux неплохо сжимает.
Из полностью бесплатных самый неплохой вариант, на мой взгляд, - формат фактори. Вбейте в гугл фразу "формат фактори" и первый же результат будет офиц. сайт программы, там доступна для скачивания русская версия дистрибутива.
Мой выбор
Xilisoft Video Converter Ultimate