(2Z,3Z)-Bis(1,3-benzodioxol-5-ylmethylene)succinic acid AIDS-132834 AIDS132834 NSC627590