Holley, I. B., Jr. (Irving Brinton), 1919-2013