AIDS-121242 AIDS121242 N-(Phenethylsulfonyl)-d-allo-threonine-beta-lactone