Einen kostenlosen Audio Converter habe ich auch nicht an der Hand, jedoch das Programm "
Audacity ist kostenlos und kann alles was du hörst (unabhänging vom Dateiformat) als mp3 speichern.
Aber jetzt nicht voreilig freuen, die Sache hat nen Haken: Du musst alle zu konvertierenden Files 1:1 (also in Echtzeit) abspielen, je nach Umfang deiner Sammlung kann das eine längere Sache werden.