2-Hydroxy-6-isopropyl-4-methyl-2,4,6-cycloheptatrien-1-one AIDS-133399 AIDS133399 NSC628976