Allen Woolsey Gubser (1897-1993)