AIDS-209580 AIDS209580 Piperidine, 4-methyl-1-[[2-(2-thienyl)-1H-benzimidazol-5-yl]carbonyl]-