Theoretical Modeling of Electrostatic Effects of Titratable Side-Chain Groups on Protein Conformation in a Polar Ionic Solution. 1. Potential of Mean Force between Charged Lysine Residues and Titration of Poly(L-lysine) in 95% Methanol Solution