Mariano Pintus (1916–1983)