A quantum-chemical study of the relationships between electronic structure and anti-HIV-1 activity of a series of HEPT derivatives