You can use RealPlayer with BBC Radio (apart from the BBC's own version).
The website offers the facility to switch to the standalone version.
WMP10, by the way, DOES have a radio feature.
Go to the Guide tab and then click on the Radio button (top right).
You can also stream radio from the stations' own websites from all over the world and the UK.