David Patterson (1912-1985)