Which group of mice served as a control