Пройдите по пути «File» — «Export» — «Export as MP3».
Выберите необходимый битрейт и нажмите «ОК».
Чем больше значение – тем выше качество, но и больше размер конечного файла.
В проводнике укажите папку для сохранения и нажмите «Сохранить».
При тестировании программа не затребовала установку кодеков, однако некоторые пользователи сообщают, что для экспорта в MP3 необходима их предварительная установка.
Скачать кодеки для 32-битных систем можно по ссылке
Кодеки для 64-битных систем загружаются по данной ссылке