Should HIV-positive recipients undergo heart transplantation?