AIDS-001556 AIDS001556 Compounds based on pol fragment Leu165-Val170 having transition-state moiety decarbonylPhe-hydroxyethyl-Pro Pol 165-170/Phe[CHOHCH2]Pro