2-(2,2-Bis(phenylthio)ethyl)-1-vinylcyclohexanol AIDS-152930 AIDS152930 NSC698172