2,2-Dimethyl-5-oxo-2,3,5,9b-tetrahydro[1,3]thiazolo[2,3-a]isoindole-3-carboxylic acid AIDS-126848 AIDS126848 NSC129444