On that note, for others reference:
Zamzar.com is an easy way to convert files 

https://www.zamzar.com/convert/mp4-to-mp3/