1-Tosyl-3-pyrrolidinol