how do i convert this file?

[Buddy_Christ]

downloading an OGG file right now and i'd like to get it to mp3 format. IIRC, OGG is a format that only linux seemed to use when ripping music tracks, and i didn't find a way in linux to convert to mp3 from there.

anyone?