Allen, Frank, d. 1932.