Pope-Hennessy, John Wyndham, Sir, 1913-1994