AIDS-058257 AIDS058257 Ammonium bis(3'-deoxy-2',3'-didehydrothymidin-5'-O-yl) monophosphate