AIDS-211142 AIDS211142 Piperidine, 1,1'-methylenebis-