Efficacy of tribromoethanol anesthesia in mice.