You may be out of luck with that particular file, sadly. AFAIK there are some WM9 codecs that just aren't available outside of Windows Media Player 9 for, well, Windows... You might be able to find some Windows software to transcode the file into something VLC can read, though. (Which would, of course, reduce quality.)