I normally use BeSweet to convert between audio formats, but it doesn’t do WMA, so I had to find something that can handle it. For some reason almost all of the converters claiming to do this were either shareware or adware-ridden, but dbpowerAmp (via Andrew W) looks like the tool for me. It requires the WMA codec be installed separately and it nagged about the MP3 trial not being activated at least the first time I used it, but apart from that it does the job.
Good Noodles.