El Escorial, Real Biblioteca de San Lorenzo, E.I.12