VirtualDub можно использовать. Довольно простая олдскульная программа. Даже бесплатнаяТам выбираешь какой-нибудь кодек из приличных (один из наиболее путевых ИМХО H264, если его нет, можно вот этот поставить) и сохраняешь в новый файл. Качество в кодеке ставишь (если в этом) порядка 26 плюс-минус, получится нормальный размер файла и качество.