Synthetic studies of the HIV-1 protease inhibitive didemnaketals: stereocontrolled synthetic approach to the key mother spiroketals.