A concise stereoselective total synthesis of decarestrictine J