Real Biblioteca del Monasterio de San Lorenzo de El Escorial