Gravar-mail: Targeted mutation of the Hprt gene in mouse embryonic stem cells.