How to download a Real Audio file without installing crapware

After spending the better part of this morning struggling against obsolete file formats (Real Audio), I thought I would catalog and document the finished process for future reference. Feel free to sing along.