Synthesis of ABT-378, an HIV Protease Inhibitor Candidate: Avoiding the Use of Carbodiimides in a Difficult Peptide Coupling