Inhibitors of HIV Protease: An Introduction to Carbonyl Chemistry