Methyl (3S,3′R)-1-methyl-2,2′′-dioxo-1′,2′,3′,5′,6′,7′,8′,8a′-octahydrodispiro[indoline-3,2′-indolizine-3′,3′′-indoline]-1′-carboxylate