BBC Proms: Sondheim's 80th Birthday