¿Qué dos escritores fueron galardonados con el Premio Cervantes en el año 1980?