Stepwise walden inversion in nucleophilic substitution at phosphorus.