Were they humanized mice or not?