El Escorial, Real Biblioteca del Escorial, D.I.1