Synthesis and anti-HIV-1 activity of new MKC-442 analogues with an alkynyl-substituted 6-benzyl group