Maybe I just suck at searching lately, but I can't seem to find a program for my specific purpose. I want to take an ogg stream, convert to mp3 on the fly, and restream that. I was going to use Icecast + Ices but it looks like that's only good for ogg->ogg and mp3->ogg.
Anyway, if anyone knows how to do this, I'd appreciate a nudge in the right direction. I can figure the rest out on my own. I'm running linux.