Mario Tanassi (1916–2007)