What is the abbreviation for Pravastatin?

Looking for the shorthand of Pravastatin or how to abbreviate it? We have 3 shorthands for Pravastatin.