2-Hydroxy-3-methyl-2-cyclopenten-1-one 80-71-7 AIDS-017591 AIDS017591