Anesthesia in HIV‐infected children