Mario Ceravolo (1895–1973)