3-Isopropyl-6,7-dimethyltetrahydro-5H-[1,3]oxazolo[2,3-b][1,3]oxazin-5-one AIDS-138145 AIDS138145 NSC644301