AIDS-050715 AIDS050715 Methylethyl 3-acetyl-4-cyano-4H-azinecarboxylate