Wagner, Anthony Richard, Sir, 1908-