There are probably other ways to convert OGG format to MP3, including some opensource/freeware command line scripts, but I managed to achieve this with an application called EasyWMA which is most definitely worth the $10 for a full license. Not only does it convert OGG to MP3, but it encodes/decodes many other formats as well.