Using three-dimensional substructure searching to identify novel, non-peptidic inhibitors of HIV-1 protease