HIV-1 protease complexed with macrocyclic peptidomimetic inhibitor 3