Jiménez Aleixandre, Miguel, Servicio de Bibliotecas de la Universidad Autónoma de Madrid