1,1'-(1,3-Propanediyl)bis(4-cyanopiperidine) AIDS-006065 AIDS006065 Piperid Pr-bis deriv