convert file.wmv to .wav ?

[Bob Goodwin]

Can someone tell me how to convert audio .wmv to .wav, .mp3, or .ogg?

I tried ImageMagick 'convert' but I don't seem to be able to make it 
work, perhaps because I don't have the command right?  As usual I'm 
having trouble with the man page ...

Or there may be a better way to do this.  I have an audio file in .wmv 
that I would like to compress, it's not very important but I hate to let 
it go undone.

Bob Goodwin