Butler, John, 1920-1993