Sergio Ceravolo (1923–2003)