5,5,7a-Trimethyl-1-phenyltetrahydropyrrolo[1,2-b][1,2,4]oxadiazol-2(1H)-one AIDS-130731 AIDS130731 NSC611088