Kynostatins, highly selective and superpotent HIV protease inhibitors: Conformationally constrained tripeptides containing allophenylnorstatine as a transition-state mimic