AIDS-133074 AIDS133074 Ethyl 7-hydroxy-7a-methyl-7-vinyl-2,4,5,6,7,7a-hexahydro-1H-indene-3-carboxylate NSC628254