MASINI, Pier Carlo (1923-1995), bibliofilo e storico