Paste this URL into a compatible player (try VLC player, Ctrl+N):
rtmp://ec22.rtp.pt/liveradio/antena3rock80a