4-Sec-butyl-3-imino-5-isoxazolidinone 6941-34-0 AIDS-125040 AIDS125040 NSC59679