Here you go, the download link to the disco inferno midi file