1-(Benzyloxy)-3-(3-tert-butyl-5,5-dimethyl-2-oxido-1,3,2-oxazaphospholidin-2-yl)-7,11-dimethyl-6,10-dodecadien-2-one AIDS-153354 AIDS153354 NSC699832