AIDS-131176 AIDS131176 Methyl 3-cyano-3-(1-naphthyl)-2-oxopropanoate NSC622413