Royal Concertgebouw Orchestra, Pierre Boulez & Chorus Of The Netherlands Opera