В стародавние времена в медиа-комбайне от Apple был отдельный пункт в строке меню для конвертации аудиофайлов в MP3. Но с чехардой обновлений минувших лет он незаметно пропал, а очевидного средства преобразовать трек в MP3-версию средствами стандартного аудиоплеера нет.
Есть.
Дело в том, что стандартным кодером в современном iTunes стал кодек AAC, поэтому по умолчанию вариантов создания MP3-файла не предлагается. Но изменить эту настройку очень просто.