Hello Mr. Broflovski.
I have heard about this mario game you are talking about and think that Edmund McMillen made an amazing attempt at trying to make chiptune music.
I thank you for hinting his wish to remix some of the tunes he thinks are best.
Yet I am afraid to say that I was more interested in the fly in front of my computer screen, so for the first 2 minutes, 38 seconds and 873 milisecond I discarded any attempt at concentrating at these specific tunes.
The remix in question would be this here.
And here is a mirror
I was joking about that mirror part, it's the same server.
Hope you are well,
C418, Minister of the douchebaggery.