13(2Tetrazol)tridec acid 13-(2-Tetrazolyl)tridecanoic acid AIDS-004211 AIDS004211 TET-13