Igf1<tm1.2Hko> targeted mutation 1.2, Haruhiko Koseki