de Wit, Bernard Nicolai, Hermann C The consistency of the S$^{7}$ truncation in d = 11 supergravity Nucl. Phys. B 10.1016/0550-3213(87)90253-7 211-240 281 N=8 S(7) compactification d=11 supergravity 1987 1987