AIDS-050720 AIDS050720 But-3-enyl 3-acetyl-4-cyano-4H-azinecarboxylate