Gil Robles, José María, 1898-1980, prologuista.