Allen, John Piers,1912-