Множество конвертеров же есть. Из не слишком сложных и всеядных, например, бесплатный format factory (если будешь ставить не забудь поснимать кучу галочек со всяким мусором)
Фрапс снимает без сжатия, с одной стороны - минимум нагрузки на проц, с другой, 2 минуты 1080p весят 4гб и требуют последующей обработки.
