Mario Dosi (1903–1978)