Role of cytochrome P450 3A4 in human metabolism of MK-639, a potent human immunodeficiency virus protease inhibitor.