Transcatheter aortic valve implantation in a 54-year-old patient with aggressive HIV.