2-(1-Cyclohexen-1-ylmethyl)-3-isopropyl-4-methyl-5-phenyl-1,3,2-oxazaphospholidine 2-oxide AIDS-160350 AIDS160350 NSC625807 NSC625808