Biografía de Carlos Marx / Enrique Tierno Galván - Tierno Galván, Enrique (1918-1986) (Protagonistas de la Historia)