Короткий ответ: через FFMpeg либо любой другой конвертор (который работает на его базе всё равно. Но я не нашёл ни одного который бы позволил регулировать настройки экспорта, так что сделаем всё ручками)