I discovered that KM Player (free) will also save internet radio streams to file, and in particular wav, in order to capture the Radio 3 stream at 320kbps without introducing any further lossyness, which is currently as good as it gets