AIDS-050716 AIDS050716 Butyl 3-acetyl-4-cyano-4H-azinecarboxylate