Eugenio Gatto (1911–1981)