pravastatin (generic Pravachol)