AIDS-050713 AIDS050713 Ethyl 3-acetyl-4-cyano-4H-azinecarboxylate