7-Ethynyl-7-hydroxy-7a-methyl-1,4,5,6,7,7a-hexahydro-2H-inden-2-one AIDS-133078 AIDS133078 NSC628258