facile!

for i in *.wav; do ffmpeg -i "$i" -acodec mp3 -ab 64k "$(basename "$i" .wav)".mp3 ; done

https://lonewolfonline.net/convert-wav-mp3-linux/