Quantization of Supergravity with a Cosmological Constant