I was going through some of my old files (from 15-20 years ago), and came upon a lot of old midi files. Among them was this one. So far, I've had no luck in identifying the name of the song, or its author.
The song was in a folder containing mostly video game soundtracks, so it might have been used in / created for a video game.
Search on the popular online song identifiers (Midomi and the like) came back empty.