1-Benzyl-2-phenyl-1,3a,4,5,6,6a-hexahydrocyclopenta[b]phosphol-3-ol 1-oxide AIDS-128149 AIDS128149 NSC230407