Allen Woolsey Gubser (1896-1993)