6,6-Dimethyl-3,3a-diphenyltetrahydro-2H-[1,3]oxazolo[3,2-b][1,2,4]oxadiazol-2-one AIDS-130729 AIDS130729 NSC611086