AIDS-085826 AIDS085826 Thiophosphonomethyl-phosphonothioic acid