An Interior Point-Proximal Method of Multipliers for Linear Positive Semi-Definite Programming