I know there are a number of ways to do this, but here is an 'almost' all-purpose one for PCs.

http://xrecode.com/

It's one way to get almost any common music file into MP3 format for portable players, etc.