Apparently, we’ve done this before.
https://forum.audacityteam.org/t/convert-mp3-audio-to-midi/46798/1
Koz