Nucleophilic substitution with inversion of configuration at the nucleophile