Sorry for not answering, in case you still need it you can use audacity and export it as mp3 or this online converter https://www.online-convert.com/ this one has alot of formats, but is a less reliable method often distorting the audio.
