Gravar-mail: A diastereomer of methyl (1R,3′S)-1′,1′′-dimethyl-2,2′′-dioxo-2H-dispiro­[ace­naphthyl­ene-1,2′-pyrrolidine-3′,3′′-indoline]-4′-carboxyl­ate