A Combined Quantum/Classical Molecular Dynamics Study of the Catalytic Mechanism of HIV Protease