I don't know if you will find it easily as a midi file, but either try searching for the musical notation and then extract the melody from it and export it to midi, or, if there is no other way, try to convert the mp3 file to a midi. This often gives poor quality, but it might work in some cases, and often the file can be "cleaned" of unnecessary notes afterwards.