1,1'-(1,3-Propanediyl)bis(4-imidazolinyl)piperidine AIDS-006071 AIDS006071 Piperid bis(imid) Pr deriv.