Muss es unbedingt midi sein? mp3s sind auch sehr platzsparend. Wave in mp3 geht auf jeden Fall mit dem dBpowerAMP Music converter.

Edit: Da ist mir doch einer zuvorgekommen.