Preparation of Protected 13C n -Labeled Isodesmosines: Mechanistic Insight of Isodesmosine Formation