Synthesis of (2S,5S,4R)-2,5-diamino-3,3-difluoro-1,6-diphenylhydroxyhexane: the core unit of a potent HIV proteinase inhibitor