3,7-Dimethyl-1,2-bis(phenylthio)-1-cycloheptene AIDS-132089 AIDS132089 NSC625416