AIDS-143322 AIDS143322 Dimethyl 5-hydroxy-4,4,6,6-tetramethylhexahydroimidazo[1,5-b]isoxazole-2,3-dicarboxylate NSC663934