离婚协议中对房产分割的约定，一方不履行时的法律效果