Scheme 6: Martinet isatinsyntheses [51].