1,3a-Dimethyl-decahydro-cyclobutadicyclopenten-1-ol AIDS-131638 AIDS131638 NSC624371