Hi docrock, welcome to itsallPC

I've never used this online BBC radio player, but if you want to record anything playing through the sound mixer all you need to do is make sure the correct recording source is selected and any wave editing software will do it

You can find a bit more detailed assistance here