As they report in the journal of the american chemical society , peter coveney and his colleagues wanted to investigate resistance to saquinavir by using a computer model to predict how it binds to the particular forms of protease produced by different resistant strains of hiv .