Theoretical modifications of agaritine based on HIV protease structures