The Conversion of Tetrahydro-β-Carboline Alkaloids into Oxindoles. the Structures and Partial Syntheses of Mitraphylline and Rhyncophylline | Synapse