Metabolism of digitoxin in man and its modification by spironolactone