Robles Muñoz, Cristóbal, Instituto de Historia. CSIC, España