RIP: English lyricist Barry Mason