AIDS-121240 AIDS121240 N-(Phenethylsulfonyl)-L-allo-threonine-beta-lactone