David (Dave) Patterson (1912-1985)