Aldo Amadeo (1918–2002)