发包人光明房地产开发公司与承包人恒基建筑公司之间发生了建筑合同纠纷 光明房地产开发公司申请仲裁委员

发包人光明房地产开发公司与承包人恒基建筑公司之间发生了建筑合同纠纷，光明房地产开发公司申请仲裁委员会裁决，仲裁委员会作出裁决后，光明房地产开发公司依法申请法院执行。当出现下列( )情形时，人民法院对仲裁裁决应中止执行。

A:光明房地产开发公司申请执行裁决，恒基建筑公司申请撤销仲裁裁决 B:仲裁裁决书认定事实的主要证据不足 C:仲裁庭的组成违反法定程序 D:没有达成仲裁协议