合同无效 人民币 百事可乐 推广 广告 软件产品 通用汽车 效力 成本 Informix 电视游戏