Spirodiketopiperazine-based CCR5 antagonists: Lead optimization from biologically active metabolite.