(Diethoxy-thiophosphorylmethyl)-phosphonothioic acid O,O-diethyl ester AIDS-085820 AIDS085820