1-(2-Bromo-2-propenyl)-3a-phenyl-5-(phenylseleno)octahydro-4H-indol-4-one AIDS-134872 AIDS134872 NSC633904