Midi isn't a soundfile, but a series of instructions to your soundcard. Use something (you probably have a basic program bundled with the card) to record your soundcard playing the midi. You'll probably end up with a WAV. Convert to mp3. Yes, it's been discussed before.