Protonation of an α-Hydroxytropolone HIV RNase H Inhibitor through QM/MM Methods