The Real Spectrum of a Noncommutative Ring and the Artin-Lang Homomorphism Theorem