I'm just assuming since MIDI's are not literally a music file
well techincally midi is the only music file as all midi can actually do is play music whilst mp3 and wav etc can play any sounds not to mention midi stands for musical instrument digital interface
but anyways..
i belive unless you have advanced software or an mp3 recorder the only way is to record a wav and convert using a mp3 converter software