Gravar-mail: HIV-infected mental health patients: characteristics and comparison with HIV-infected patients from the general population and non-infected mental health patients