Вариант 1 (качественно в AVI, но файл большой)
Файл - Экспорт - Фильм
Формат - Microsoft DV AVI - Видео
Сжатие - DV PAL
Коэффициент пикселей - D1/DV PAL
Вариант 2 (качественный, маленький файл, формат *.mpg)
Файл - Экспорт - Adobe Media Encoder
Format - MPEG2
Если включить функцию "Noise Reduction", то время сохранения увеличится в 10 с лишним раз.