John Derwent Allen — (died 1958)