Design and synthesis of stereochemically defined novel spirocyclic P2-ligands for HIV-1 protease inhibitors.