Robert Armstrong, Baron Armstrong of Ilminster — British civil servant and peer (1927-2020)