I don't think you have a big chance somebody will make an midi from this! I guess you want to use it for an fangame of yours. I have an program where I can compress mp3 files with, and I know almost for sure I can make the mp3 to around 200kb! So if you want that just say so.