For Cre-recombination, Atrx flox mice were crossed with GATA1-Cre transgenic mice as described in the text.