Quantization of 11-dimensional supergravity