Synthetic studies of the HIV-1 protease inhibitive didemnaketals: stereocontrolled synthesis of an ester side chain