Denzil DeWitt Doty (1907-1989)