AIDS-010225 AIDS010225 Trans-2-(dihydroxyphosphinoyl)-5-(thymin-3'-ylmethyl)-1,3-oxathiolane