(3-Methyl-1,1-dioxido-2,5-dihydro-2-thienyl)(2,6,6-trimethyl-1-cyclohexen-1-yl)methanol AIDS-151424 AIDS151424 NSC691807