Winamp <2.61 will let you play a WMA through the Disk Writer output plugin; this produces a WAV which can then be encoded to MP3 with any program of your choice ...