A case of pulmonary infarction induced by undiagnosed HIV. (2020)