主营产品为商品化小鼠模型的上市公司