mice with the targeted disruption of alphaA- and al