La collezione antiquaria della Biblioteca dei Girolamini in Napoli