1-Amido-1-phenyl-3-piperidinylbutanes - CCR5 antagonists for the treatment of HIV. Part 1.