Orchestra of the Metropolitan Opera House, Karl Böhm, George London, Ezio Flagello, William Wilderman