Spontaneous compactification of eleven-dimensional supergravity☆