Convert MP4 to MP3

Save the sound of an MP4, including WhatsApp voice notes, as MP3.