@Giovanni-Roncolato Ti consiglio di esportare in formato WAV e poi convertirlo in MP3 con un software separato, ad esempio il software gratuito XMediaRecode.
I recommend you export as WAV and then convert to MP3 with a separate software, for example the free XMediaRecode.