mouse trp53