Benito Cerra (1933–2018)