Structure-activity relationship studies of new DABOs: effect of substitutions at the pyrimidine C-5 and C-6 positions on anti-HIV-1 activity