Pinelli, Giovanni Vincenzo, of Venice, bibliophile and scientist