Calculation of pKa Values of Nucleobases and the Guanine Oxidation Products Guanidinohydantoin and Spiroiminodihydantoin using Density Functional Theory and a Polarizable Continuum Model Vincenzo Verdolino,† Roberto Cammi,† Barbara H. Munk,‡ and H. Bernhard Schlegel*,‡