If you go here, the tune is available in different formats.

I use JC's ABC Tune Finder quite often. It pulls up not only ABCs, but MIDIs, GIFs and other file types.