5-Oxo-2,3,5,9b-tetrahydro[1,3]thiazolo[2,3-a]isoindole-3-carboxylic acid AIDS-126847 AIDS126847 NSC129443