SEARCH Articles Figures Tables Dioxindol Dioxindoles Martinet dioxindole reaction Martinet dioxindole reaction