4-Cyclohexylidene-2-(3-methylphenyl)-1,3-oxazol-5(4H)-one AIDS-130493 AIDS130493 NSC602813