AIDS-121245 AIDS121245 N-(Benzyloxycarbonyl)-D-allo-threonine-beta-lactone