Martínez Torres, José Antonio, Instituto de Historia, CSIC, España