1-(Benzothienyl-2-carbonyl)-4-[3-(ethylamino)-2-pyridyl]piperazine AIDS-005985 AIDS005985 BHAP benzothienyl pyridyl deriv.