Для этого годится любой конвертор видео, например, Format Factory. Также можно воспользоваться любым видеоредактором, умеющим экспорт (скажем, Sony Vegas). Открываешь в одном формате, экспортируешь в любой другой, или в тот же, но с уменьшенным пиксельным размером кадра, либо с уменьшенной кадровой частотой.