Ervin, John, 1927-