Actually, thinking about it, the easiest way is simply to play the MIDI file and Record the sound output of your soundcard to the format you want. That's probably the most straightforward method.