2-(1,3-Benzodioxol-5-yl)-4-phenyl-1-(2-thienyl)-1,4-butanedione AIDS-153413 AIDS153413 NSC700130