HIV-1 negative factor binding to human thioesterase 8: insights from computational biology