HIV-1 Protease in complex with a pyrrolidine-based inhibitor