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