Richard Kenneth Brush (1909-1994)