AIDS-126982 AIDS126982 NSC135371 Piperidine, 1-[2-(9,10-dihydro-9,10-ethanoanthracen-11-yl)-1,1-dioxido-4-phenyl-3-thietanyl]-