David Stone Martin (1913-1992)