Biomolecular models of EPI-X4 binding to CXCR4 allow the rational optimization of peptides with therapeutic potential