综述：无菌小鼠模型作为解析微生物组在过敏中作用的研究工具：来自捷克科学院微生物研究所Nový Hráde克无菌生物学实验室的贡献

无菌（germ-free, GF）小鼠模型是过敏研究中唯一能够在明确微生物输入与特定免疫结局之间建立因果关联的系统，在该领域占据独特地位。本综述总结了捷克科学院微生物研究所Nový Hráde克无菌生物学实验室二十余年来的机制研究成果，该工作延续了Jaroslav Šterzl教授开创的无菌模型研究传统。全文围绕三大主题展开：首先，GF BALB/c小鼠保留完整的Th2致敏能力与黏膜耐受能力，但过敏结局受饲料内毒素含量的强烈影响，这一常被忽视的变量需在实验中明确控制；其次，围产期（含母体与新生儿微生物暴露）的明确微生物定植可通过黏膜耐受诱导、耐受性树突状细胞编程、肠道屏障修复及调节性免疫反应等机制降低过敏致敏风险；第三，微生物组不仅参与致敏过程，也是介导IgE依赖性疾病发生的肠道肥大细胞效应区室发育所必需的，单一益生菌菌株无法恢复该功能，其实现很可能需要更高的微生物复杂度。上述发现从机制层面明确了微生物组与过敏的相互作用关系，指出饮食内毒素是关键实验混杂因素，确立了围产期为预防致敏与效应反应成熟的关键窗口，同时表明单株益生菌与复杂微生物组重建分别靶向过敏性疾病的不同组分。文末总结了方法学考量、待解决问题及未来方向，包括后生元（postbiotics）与细胞外囊泡策略在过敏调控中的应用。

引言

捷克免疫学派与Nový Hráde克无菌生物学传统

捷克免疫学研究始终围绕严格的动物模型应用、发育视角与免疫视角的整合以及对基础机制问题的持续聚焦展开。Jaroslav Šterzl教授是该传统的核心代表，他创立了捷克免疫学会，曾任世界卫生组织先天免疫因子参比实验室主任，发表约250篇学术论文，其中9篇发表于《自然》。1961年，Šterzl团队在访问瑞典卡罗林斯卡学院Bengt Gustafsson教授的实验室后建立了专用无菌生物学实验室，引入无菌隔离器技术，并选择仔猪而非啮齿类作为研究对象，因为新生仔猪缺乏母源免疫球蛋白转移的特性使其成为研究抗体发育早期阶段的理想模型，Šterzl据此首次在实验层面证实不同类别免疫球蛋白拥有共同的前体细胞，这一结论后来被免疫球蛋白类别转换重组的分子机制所证实。Šterzl的开创性工作与本研究直接相关：他关注微生物暴露如何塑造未成熟免疫系统，这一问题正是现代过敏研究的核心——生命早期微生物定植模式如何决定免疫系统对环境抗原产生耐受或致敏，以及该过程的紊乱为何会增加过敏疾病易感性。Nový Hráde克开发并优化的GF与无菌小鼠模型已成为解答这一问题的核心实验工具。

过敏流行与微生物组的作用

近几十年来，工业化国家过敏性疾病的患病率显著上升，其核心免疫特征是I型（IgE介导）过敏表现为Th2轴失调，包括IL-4、IL-5、IL-9、IL-13、TSLP等细胞因子分泌增加、免疫球蛋白类别转换为IgE以及调节性T细胞（Treg）介导的外周耐受受损。这一现象催生了Strachan的卫生假说，随后发展为“老朋友”假说与生物多样性假说，三者共同认为生命早期微生物多样性暴露减少会损害免疫调节的正常校准，导致免疫系统对无害抗原产生不恰当的Th2应答。进一步研究提出，产前与出生后早期是肠道微生物组来源信号驱动免疫成熟的关键时间窗，该窗口期的紊乱会产生长期影响。多项大型队列研究支持这一观点：婴儿期肠道微生物多样性降低与后期特应性疾病发生相关，双歧杆菌属、乳杆菌属与梭菌纲的特定类群则被证实具有预防过敏致敏的保护作用，甚至有研究发现婴儿期肠道菌群成熟延迟是所有主要儿童过敏诊断的共同特征，提示微生物组不成熟可能是“过敏进程”的共同上游决定因素。然而，流行病学关联无法解析具体机制，也无法区分微生物定植减少是通过剥夺耐受信号、干扰上皮屏障发育还是改变肥大细胞迁移分布来发挥作用，这些问题的解决需要能够精确控制微生物暴露的实验系统，而这正是无菌动物模型的独有优势。

无菌模型：从方法学原理到实验应用

无菌模型是唯一能将活微生物暴露降至绝对零水平并可按精确方案重新引入的实验系统，可建立微生物输入与免疫表型的因果关系，这是抗生素耗竭等方法无法实现的。抗生素处理无法完全清除微生物，还会引入自身免疫扰动，无法与待研究效应分离。在过敏研究中，BALB/c遗传背景的GF小鼠尤为有用：GF条件会放大该品系固有的Th2偏向，产生与人类新生儿免疫不成熟高度相似的免疫异常，包括CD4⁺T细胞依赖的黏膜部位IL-4介导类别转换驱动的血清总IgE升高、紧密连接蛋白表达减少导致的肠道上皮屏障结构不成熟、肠道肥大细胞区室数量与功能缺陷以及盲肠增大。Nový Hráde克的研究证明，这些缺陷均依赖微生物组且可被纠正：用三种明确乳杆菌株组成的混合物定植GF BALB/c小鼠可恢复肠道屏障完整性并降低桦树花粉过敏原Bet v 1的致敏程度，而单独用长双歧杆菌进行新生儿定植即可预防过敏致敏。向GF动物引入明确细菌可将免疫易感宿主转化为可控实验平台，用于识别纠正特定免疫缺陷所需的微生物信号，从而衔接流行病学观察与机制理解。

免疫能力、效应解离与GF小鼠中的饮食混杂因素

GF条件下的致敏能力、耐受诱导与效应能力

在启动任何微生物干预实验前，研究团队首先回答了核心问题：微生物组是否决定Th2过敏反应的发生能力，黏膜耐受机制是否依赖共生定植？Nový Hráde克的多项研究显示，GF小鼠既非免疫惰性，也不缺乏耐受能力，因此特定细菌定植的保护或调节作用应被解读为对已具备功能的免疫系统的主动干预，而非对潜在缺陷的补救。针对I型桦树花粉过敏原Bet v 1的模型研究显示，GF与常规饲养（CV）BALB/c小鼠皮下致敏后均可产生相当的Th2偏向应答，包括等效的过敏原特异性IgE与IgG1滴度、低IgG2a水平以及再刺激脾细胞相当水平的IL-5产生。预先经口或鼻给予过敏原预处理均可同等抑制两组动物的过敏原特异性抗体滴度与Th2细胞因子产生，鼻内途径在两组中均比经口途径更有效。尽管GF小鼠派尔集合淋巴结体积约为CV小鼠的二十分之一，但淋巴细胞亚群（包括CD4⁺Foxp3⁺调节性T细胞）的相对分布无显著差异，提示无需微生物定植即可支持耐受诱导所需的功能组织结构。需注意，这些基础比较中使用的无菌饲料的内毒素含量与灭菌方法未被报道，后续研究证实饮食内毒素可通过TLR4依赖的信号通路驱动树突状细胞成熟与细胞因子产生，抑制过敏原特异性IgE与IgG1并改变细胞因子谱向Th1偏移，因此未测量的饮食内毒素可能参与了GF小鼠的免疫系统成熟。但在IgE、IgG亚类与T细胞细胞因子应答中观察到的一致性仍充分证明，即使绝对应答强度可能受饮食内毒素部分影响，微生物组的缺失也不会消除致敏或耐受能力。多项独立研究均显示，无论采用腹腔致敏、经口挑战的食物过敏模型，还是无佐剂经皮致敏模型，GF小鼠均可产生高水平的过敏原特异性IgE与IgG1应答、Th2极化细胞应答，且在评估范围内均对黏膜耐受诱导易感。GF状态不仅不妨碍致敏，在多个模型中反而增强了致敏，这与GF条件下失去微生物组正常化Th2张力的信号从而导致IgE升高的现象一致。综上，GF小鼠保留完整的过敏原特异性Th2致敏与黏膜耐受诱导能力，只要将饮食内毒素含量与饲料灭菌方法作为实验变量记录并控制，即可作为解析特定微生物定植对过敏易感性、预防与治疗贡献的有效实验平台。

GF条件下的致敏与过敏表现解离：依赖微生物组的肠道肥大细胞区室

在证实GF小鼠可产生与CV动物相当甚至更强的过敏致敏应答后，研究进一步检验完整致敏是否会转化为过敏原攻击后的过敏疾病临床表现。来自腹腔致敏与经皮致敏模型的证据一致显示一种显著的解离现象：尽管过敏原特异性IgE滴度较高且Th2细胞应答强劲，GF小鼠在经口过敏原攻击后均未发生过敏性腹泻，表明肠道过敏的效应相独立于宿主致敏能力，且依赖微生物定植。机制研究显示，这种解离源于肠道肥大细胞区室的缺陷：GF小鼠在基线及攻击条件下空肠黏膜肥大细胞数量均显著减少，肠道肥大细胞归巢趋化因子CXCL1、CXCL2及其受体CXCR2的表达下降，肠道组织干细胞因子表达降低，FcεRIα⁺肠道肥大细胞的表面CD117水平下降提示成熟度不足，且空肠与血清中的肥大细胞蛋白酶-1产生均显著降低。即使攻击后GF小鼠的肥大细胞数量可达CV动物的约60%，空肠肥大细胞蛋白酶-1产量仅为CV水平的30%，说明肠道肥大细胞的数量与功能成熟度均在无微生物组时受损。功能验证显示，GF小鼠足底注射化合物48/80后的爪水肿反应显著弱于CV小鼠，证明肥大细胞脱颗粒能力的缺陷不仅限于肠道，而是全身性的。微生物组的这一必需性通过重建实验得到进一步证实：将GF小鼠与CV小鼠同笼饲养进行常规化可完全恢复食物过敏易感性，表现为腹泻、体温过低与肥大细胞蛋白酶-1升高。在机制不同的无佐剂经皮致敏模型中同样观察到这种解离：GF BALB/c小鼠经皮致敏并经口攻击后发生过敏性体温过低，但完全不发生过敏性腹泻，这与腹腔致敏GF小鼠的表现一致；该模型中GF小鼠的空肠肥大细胞计数与肥大细胞蛋白酶-1水平高于无特定病原体（SPF）小鼠，而OVA特异性IgE与IgG1水平两组相当，脾IL-4与IL-10显著升高，符合微生物调节缺失导致的系统性Th2应答增强。这些发现拓展了前述结论：第一，经皮致敏可通过皮肤-肠道轴驱动肠道肥大细胞扩增，即使在GF条件下也足以产生全身性过敏反应，但腹泻所需的肠道效应应答仍缺失，强化了微生物组依赖的过敏效应疾病组分定位于肠道的结论；第二，经皮模型中GF小鼠肠道肥大细胞计数与蛋白酶-1水平高于SPF小鼠，与腹腔模型中GF小鼠肠道肥大细胞数量减少的现象形成对比，提示致敏途径会影响皮肤-肠道轴对微生物肥大细胞成熟信号的代偿程度，这一差异值得深入研究。综上，两项模型均证明，共生微生物组的缺失会在过敏疾病的肠道效应臂造成特异且可重复的缺陷，表现为肥大细胞成熟受损、肠道肥大细胞归巢减少以及随之而来的过敏性腹泻缺失，即使系统性致敏完整且常被放大。这提示微生物组与过敏的相互作用不能简化为单一轴线，必须分别在致敏、免疫调节与效应功能层面进行评估。

GF小鼠中作为免疫基线调节因子的饮食内毒素

上述致敏与过敏表现的解离基于一个假设，即GF小鼠的免疫表型反映微生物定植的缺失。然而Nový Hráde克的研究表明，GF动物饮食中存在的细菌成分与死菌也可调节免疫基线，使GF实验的解释变得复杂，并证明免疫成熟不需要活细菌的参与。研究发现市售辐照小鼠饲料的脂多糖（LPS）含量存在显著差异，谷物基配方的内毒素负荷约为纯化饲料的10倍。维持在高LPS饲料上的GF BALB/c小鼠肠系膜淋巴结与派尔集合淋巴结中CD4⁺T细胞与CD4⁺Foxp3⁺调节性T细胞扩增，脾脏IL-12产生增加，IL-4应答降低，表明在无活菌的情况下，饮食内毒素仍可部分驱动免疫成熟。功能层面的直接影响是，维持在高内毒素饲料上的GF小鼠经Bet v 1致敏后产生的过敏原特异性IgE与IgG1显著低于低内毒素饲料组。体外实验证实，高内毒素饲料提取物刺激树突状细胞（DC）成熟与促炎细胞因子产生的能力具有TLR4依赖性，而低内毒素饲料提取物的细胞因子诱导作用可忽略不计。这些发现有两层重要意义：第一，GF小鼠典型的IgE升高与Th2偏向表型并非GF状态的固定生物学属性，而是取决于其所暴露的饮食内毒素负荷，因此不同实验室的GF过敏实验结果比较必须将饲料组成与灭菌方法作为主要混杂变量纳入考量；第二，这些观察表明，通过模式识别受体（PRR）激活的天然免疫信号可在无活微生物定植的情况下独立塑造适应性免疫应答，这为理解后续的定植干预实验提供了重要的概念桥梁：如果无菌饲料中残留的细菌成分即可部分重定向免疫发育，那么围产期用明确益生菌株进行定向定植的调节潜力，可被视为同一基本机制的定量与定性放大表现。

益生菌作为明确微生物输入：从单株到菌群与重组策略

GF过敏模型中的单株与多株定植概述

饮食内毒素实验证明，通过PRR的天然免疫信号即使在没有活菌的情况下也可部分重定向免疫发育，由此引出核心问题：通过围产期定向定植明确微生物输入，可实现何种程度与广度的免疫保护？Nový Hráde克项目内的定植研究采用了基本一致的设计：GF BALB/c雌鼠在交配前用明确菌株或混合物定植，子代自出生起通过自然同笼获得细菌，定植子代与GF对照均在8周龄时进行过敏原致敏。虽然母代-子代框架在各研究中保持一致，但各研究在饲料配方与灭菌方法、致敏途径与佐剂使用以及具体免疫与组织学终点评估上存在差异。这些差异具有重要影响：如前所述，饮食内毒素负荷、灭菌副产物与致敏佐剂均可独立改变IgE滴度、细胞因子谱与肥大细胞指标。因此跨研究比较应理解为在部分异质条件下开展的、具有趋同生物学信号的合成分析，该项目的优势在于研究内对比——无菌模型在相同遗传背景下，以经过验证的无微生物基线为参照，仅改变微生物输入。另一需要考虑的点是，母代-子代设计模拟了整个围产期窗口：由于雌鼠在交配前即被定植，子代在直接接触定植同窝仔鼠之前，就已通过胎盘转移获得母体来源产物，并通过母乳获得细菌细胞与免疫活性分子。因此观察到的保护作用反映了产前、哺乳与出生后微生物暴露的综合影响，共同构成了与人类发育相关的生物学上有意义的围产期窗口。若要区分这些途径的相对贡献，需要在无菌环境中进行交叉抚育或胚胎移植对照，这是未来工作的重要方向。在此解释框架下，四项定植研究为BALB/c无菌模型下的过敏发育提供了连贯且具有机制信息的解读。新生儿单一定植产桦树花粉过敏原Bet v 1的重组植物乳杆菌（Lactiplantibacillus plantarum）NCIMB8826可诱导过敏原特异性Th1与调节性应答，以严格依赖细菌表达过敏原的方式抑制IgE与Th2细胞因子；单一定植长双歧杆菌（Bifidobacterium longum）ssp. longum CCM7952（分离自母乳喂养健康婴儿的野生型共生株）通过TLR2、MyD88与MAPK信号介导的耐受性DC编程提供广谱的过敏原非特异性保护，伴随IL-10、TGF-β与CD4⁺Foxp3⁺调节性T细胞升高；由鼠李糖乳杆菌（Lacticaseibacillus rhamnosus）LOCK0900、鼠李糖乳杆菌LOCK0908与干酪乳杆菌（Lacticaseibacillus casei）LOCK0919组成的三株明确联合体在降低过敏原特异性致敏的同时，还可修复GF小鼠结构不成熟的肠道上皮屏障，这是任何单株都无法实现的效果；最后，用重组表达嵌合桦树-牧草花粉过敏原或空载体的益生菌大肠杆菌（Escherichia coli）Nissle 1917进行产前与新生儿定植，可预防GF子代的过敏性多致敏，仅空载菌株即表现出足以提供广谱保护的强效天然免疫调节特性。关键的是，在食物过敏背景下，单一定植植物乳杆菌WCFS1无法恢复肠道肥大细胞功能或过敏性腹泻易感性，而将GF小鼠与CV小鼠同笼进行常规化可完全恢复肥大细胞归巢、成熟与过敏临床症状，证明这一特定功能需要超出单株所能提供的微生物复杂度。尚待确定的是，具有不同代谢物输出、细胞表面配体组成或PRR结合谱的功能不同的单株，是否也能类似地重建肠道肥大细胞生态位。

单一定植产Bet v 1的重组植物乳杆菌

首项定植研究结合了微生物递送与抗原特异性黏膜耐受诱导策略。GF BALB/c雌鼠新生儿期定植携带组成型胞内Bet v 1表达质粒的重组植物乳杆菌NCIMB8826株，子代自出生起定植，8周龄时用Bet v 1/铝佐剂致敏。与致敏GF对照相比，定植产Bet v 1植物乳杆菌的子代免疫极化发生显著改变：过敏原特异性IgE降低，IFN-γ产生升高，IL-10、TGF-β与Foxp3等调节标志物增加，符合Th1与调节性偏向。其机制与新生儿肠道的免疫环境有关：生命早期在肠道黏膜表面遇到的抗原，尤其是由共生生物递送并激活DC与上皮细胞PRR的抗原，倾向于诱导耐受性而非致敏性应答。重组植物乳杆菌策略利用了这种不对称性，确保免疫系统首次接触Bet v 1发生在新生儿窗口期的黏膜表面，早于系统性致敏的发生。

单一定植长双歧杆菌

第二项定植研究从重组过敏原递送策略转向野生型益生菌，探究天然存在的具有免疫调节特性的共生菌是否可仅通过PRR介导机制（无需任何过敏原特异性组分）提供抗过敏致敏的保护作用。研究采用分离自健康母乳喂养婴儿粪便的长双歧杆菌ssp. longum CCM7952株，使用相同的母代-子代框架。新生儿单一定植长双歧杆菌在多个层面预防了过敏致敏的发生：Bet v 1特异性IgE、IgG1与IgG2a血清水平显著降低；通过Bet v 1驱动的大鼠嗜碱性白血病细胞β-己糖胺酶释放测定的功能性IgE活性也被抑制。细胞水平上，定植小鼠脾细胞培养物中Bet v 1诱导的Th2相关细胞因子（IL-4、IL-5、IL-13）与促炎细胞因子（IFN-γ、IL-17、TNF-α）产生均减少，表明是对过敏原特异性免疫反应的普遍抑制，而非简单的Th1/Th2偏移。这种抑制伴随IL-10与TGF-β升高以及脾脏与肠系膜淋巴结中CD4⁺Foxp3⁺调节性T细胞比例增加。骨髓来源DC的机制研究显示，长双歧杆菌激活TLR2并诱导耐受性DC表型，其特征为共刺激分子适度上调、IL-10产生增加而IL-12p70较低。使用敲除DC与药物抑制剂的通路分析表明，DC的IL-10产生依赖TLR2、MyD88与MAPK信号（特别是MEK/ERK、p38与JNK）。长双歧杆菌不激活TLR4，TLR4缺失对IL-10产生无影响，证实了TLR2/MyD88/MAPK通路作为耐受性DC编程传入信号的特异性。对比两项单一定植研究，重组植物乳杆菌策略通过黏膜过敏原递送实现过敏原特异性保护，而长双歧杆菌策略通过天然PRR信号实现过敏原非特异性保护，证明仅免疫成熟本身（无需过敏原特异性输入）即可提供针对后续过敏致敏的保护。

三株乳杆菌多定植与肠道上皮屏障成熟

第三项研究将定植框架从单一生物扩展到三株明确联合体，增加了单一定植研究未直接涉及的维度：肠道上皮屏障的结构成熟。所用三株菌为鼠李糖乳杆菌LOCK0900、鼠李糖乳杆菌LOCK0908与干酪乳杆菌LOCK0919（以下简称Lmix），是从24株健康婴儿粪便分离株中根据拮抗病原菌活性、耐胃酸pH能力以及在常规小鼠模型中调节Th1/Th2平衡的能力筛选而来。免疫结果与早期单一定植研究一致：Lmix定植显著降低Bet v 1特异性IgE、IgG1与IgG2a，以及促过敏细胞因子IL-4与IL-5的产生。过敏原特异性Th2应答的抑制伴随血清与黏膜IgA水平升高及TGF-β增加。Kozakova等研究的独特之处在于通过电子显微镜系统检查肠道上皮屏障超微结构。GF对照显示GF状态特有的肠道上皮排列紊乱：刷状缘微绒毛排列不规则且稀疏，末端网中缺乏细胞骨架微丝锚定，紧密连接蛋白ZO-1与闭合蛋白（occludin）表达降低。Lmix定植大幅恢复了所有这些结构特征，刷状缘变长且排列规则，顶端连接复合体收紧，ZO-1与闭合蛋白表达升至接近常规饲养小鼠的水平。这一发现表明，肠道屏障成熟与调节性免疫编程是由同一微生物定植事件共同诱导的，而非独立过程。无菌模型以一种常规动物模型无法实现的方式揭示了这种耦合——在常规饲养小鼠中，屏障与免疫系统在生命早期均已成熟，无法在实验中被分离。

重组大肠杆菌Nissle 1917与多致敏模型

本节最后一项研究解决了一个临床重要但实验探索不足的问题：多致敏，即个体同时对多种不相关过敏原产生IgE介导的应答。Sarate等构建了首个表达主要桦树花粉过敏原Bet v 1与两种主要牧草花粉过敏原Phl p 1、Phl p 5的嵌合大肠杆菌Nissle 1917株，建立了首个无菌小鼠多致敏模型。选择大肠杆菌Nissle 1917作为载体，是基于其公认的免疫调节特性与临床使用安全性。产前与新生儿定植嵌合多过敏原表达株可提供针对多致敏的保护：所有三种过敏原的过敏原特异性IgE应答均降低，调节标志物升高。值得注意的是，定植携带空载质粒的大肠杆菌Nissle 1917也可提供部分多致敏保护，表明大肠杆菌Nissle 1917具有内在的免疫调节特性，可独立于任何过敏原特异性组分降低过敏致敏，这与长双歧杆菌的PRR介导天然编程机制一致。嵌合株在天然免疫背景之上递送过敏原特异性信号，提供了最全面的保护。

综合：益生菌保护的共同机制

综合考虑四项研究（需注意它们在饲料、灭菌方法、佐剂与终点上的差异），可得出具有特定与一般意义的结论。第一，保护抗过敏致敏可由跨越机制谱的多种微生物输入实现，从过敏原特异性黏膜耐受诱导（重组植物乳杆菌）、PRR介导的天然免疫成熟（长双歧杆菌、大肠杆菌Nissle 1917）到屏障修复与调节编程的结合（Lmix）。这种有效输入的多样性表明，生命早期适当的微生物刺激激活天然免疫通路，促进耐受性DC功能、调节性T细胞扩增、IgA产生与屏障成熟，从而将免疫系统从致敏GF动物典型的Th2主导、IgE升高状态中引导出来，这是一条普遍原则。第二，四项研究中保护的共同免疫标志是调节性应答的诱导：TGF-β、IL-10、血清与黏膜IgA以及Foxp3⁺Treg细胞升高，这些在GF对照中持续受抑，而在受保护、已定植的动物中持续升高。第三，四项研究均采用围产期定植方案，雌鼠在妊娠前或期间定植，这一时机始终是最有效的实验条件。这与更广泛的围产期微生物组-免疫编程关键窗口文献一致，并强化了转化信息：预防性微生物干预最有可能在围产期启动时生效。由于母代-子代设计通过产前母体调节、哺乳传递与直接新生儿定植等多条重叠途径提供微生物暴露，观察到的保护应被解读为反映了整个围产期窗口的综合影响，而非仅子代出生后定植。

超越过敏模型：无菌平台的更广泛用途

在相同的BALB/c近交小鼠品系中，受控微生物定植产生可测量、可重复的免疫输出的原则，以及微生物暴露的途径、时机与组成决定输出类型的规律，构成了实验主干，并已扩展到过敏之外的其他免疫介导疾病。例如，Stehlikova等将这一原则应用于银屑病研究，在咪喹莫特诱导模型中证明GF小鼠无法发展完全的Th17驱动皮肤炎症，需要特定微生物