Amsterdam Toonkunst Choir, Jongenskoor "Zanglust", Royal Concertgebouw Orchestra & Willem Mengelberg