Royal Concertgebouw Orchestra, Eugen Jochum, John van Kesteren & Netherlands Radio Chorus