1,3,4-Trisubstituted pyrrolidine CCR5 receptor antagonists: modifications of the arylpropylpiperidine side chains.