AUTS2 and Behcet disease: Interestingly, however, other BD model Clock mutant mice and ASD models, such as Shank2 KO (Lim et al., 2017), Fmr1 KO, Dyrk1 KO (Raveau et al., 2018), Auts2 KO (Hori et al., 2015), and 15q dup mice (Nakatani et al., 2009), were classified into a group with opposite changes (a group with decreased lactate levels and increased pH).