AIDS-085823 AIDS085823 Thiophosphono-acetic acid