Где найти хороший офлайн конвертер из mp4 в mp3 для больших файлов?
Можно FFMPEG попробовать. В консоли:ffmpeg -i video.mp4 -vn -ar 44100 -ac 2 -ab 192 -f mp3 sound.mp3
ffmpeg - путь к исполняемому файлу, video.mp4 и sound.mp3 - соответсвенно, пути откуда брать файл и куда сохранять.
Если не ошибаюсь, то с помощью Vegas Pro можно конвертировать mp4 в mp3.