2-Hydroxy-3-(4-isopropylphenyl)-2-butenedioic acid AIDS-125800 AIDS125800 NSC85176