Ah, Songbird. I converted the MIDI file to the information in red and the ABC file with the clever program written by Alan (Foster) of Australia. It is free and there is a clickable link to it in the middle of the above conversion. You can use the program to download all those cute red numbers and turn them into a MIDI file (as well as vice versa).
However, I think you are asking how I converted the WAV you shipped me to a MIDI file, and the software I used for that is between my ears.
Blessings,
Barbara
Sorry to be slow in answering; I've been away for a few days.