1-(Benzyloxy)-3-(3-tert-butyl-5,5-dimethyl-2-oxido-1,3,2-oxazaphospholidin-2-yl)-2-butanone AIDS-153353 AIDS153353 NSC699831