La biblioteca de Arias Montano en el Escorial