2,6-Bis(1,3-benzodioxol-5-ylmethylene)cyclohexanone AIDS-134467 AIDS134467 NSC632832