Villagrá Rubio, Ángel, Centro de Información y Documentación Científica (CINDOC-CSIC)