Antonio Mazzone (1934–2022)