Elio Antonio (1922-1997),