Antonio De Vito (1919–2006)