5-Oxo-4,5,6,7,8,9-hexahydrothieno[3,2-b]azocine-3-carboxylic acid 59851-11-5 AIDS-128539 AIDS128539 NSC285668