I use mpg123 (<a href="http://www.mpg123.de/" rel="nofollow">http://www.mpg123.de/</a>), a command-line player. There's also mpg321, but I haven't used it much, and apparently there's an ogg123 player as well.