Mario Ricci (1908–1989)