Variation in Statin Prescription among Veterans with HIV and Known Atherosclerotic Cardiovascular Disease.