mplayer is one of the media players, you can use for everything on linux. There are nearly no formats you cannot decode.
Regarding internet radio, I like this player as it works without bells and whilstles straight from the console. For tuning in a stream, you could use the following comand:
mplayer -cache 1024 <stream-url>