Synthetic studies of the HIV-1 protease inhibitive didemnaketals : precise and stereocontrolled synthesis of the key mother spiroketal