Triphosadénine sodique : les médicaments qui en contiennent