Sodium periodate oxidation of tetrahydro-β-carboline derivatives†