El Escorial, Real Biblioteca de San Lorenzo, D.I.2