Brook, John, 1917-