2,3,7a-Trimethyl-2,4,5,6,7,7a-hexahydro-1H-indene-1,6-diol AIDS-133417 AIDS133417 NSC629001