Significant effects of tipranavir on platelet aggregation and thromboxane B2 formation in vitro and in vivo.