2-(2,2-Bis(phenylthio)ethyl)-1-isopropenylcyclohexanol AIDS-152929 AIDS152929 NSC698171