Edgar Nicholas Mayo (1909-1988)