1-(2-Bromo-2-propenyl)-3a-phenyl-5-(phenylseleno)octahydro-1H-indol-4-ol AIDS-134871 AIDS134871 NSC633903