Or if those don't tickle your fancy, you could use VLC
's "Convert/Save" feature. VLC doesn't come with any sound fonts, so you have to configure it with your own (e.g. this
), and also when I tried converting a MIDI to an MP3 using it, the beginning was cut off (which might be fixed by inserting some silence), so perhaps it's not the best choice.