2-Hydroxy-4-((3-phenyl-2-oxiranyl)carbonyl)-2,4,6-cycloheptatrien-1-one AIDS-130373 AIDS130373 NSC407467