De Duve, Christian, 1917-