Ions and inhibitors in the binding site of HIV protease: comparison of Monte Carlo simulations and the linearized Poisson-Boltzmann theory.