离婚时已经卖出的房产怎么分割?