Computer-aided design and discovery of protein–protein interaction inhibitors as agents for anti-HIV therapy