Pravachol n 1: an oral drug (trade name Pravachol) administered to reduce blood cholesterol levels; recommended after nonfatal heart attacks [syn: {pravastatin}, {Pravachol}]