3-(2-Pyrrolidyl)piperidine, dihydrochloride AIDS-018833 AIDS018833