The generation of mature T cells requires interaction of the αβ T-cell receptor with major histocompatibility antigens