You can use any audio player that has the WMA codec. Then use the program's diskwriter plug-in. This will put it into a WAV file but you can use mpg3enc (I think) to make an mp3. Though you will lose more sound information going from WMA to mpg3.
IMO, OGG files sound better than mpg3.