Anthony Collins, Royal Philharmonic Orchestra, Eduard van Beinum & Royal Concertgebouw Orchestra