HLA class II transgenic mice as models of human diseases | Synapse