Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual é o número total de casos de HIV em hospitais no Rio de Janeiro?
 ###Tabelas: 
CREATE TABLE DiseaseCases (CaseID INT, PatientID INT, Disease VARCHAR(20), Date DATE, HospitalID INT); INSERT INTO DiseaseCases (CaseID, PatientID, Disease, Date, HospitalID) VALUES (5, 13, 'HIV', '2021-04-01', 1); INSERT INTO DiseaseCases (CaseID, PatientID, Disease, Date, HospitalID) VALUES (6, 14, 'Flu', '2021-04-02', 2); CREATE TABLE Hospitals (HospitalID INT, City VARCHAR(30)); INSERT INTO Hospitals (HospitalID, City) VALUES (1, 'Rio de Janeiro'); INSERT INTO Hospitals (HospitalID, City) VALUES (2, 'São Paulo');
SELECT COUNT(*) FROM DiseaseCases WHERE Disease = 'HIV' AND HospitalID IN (SELECT HospitalID FROM Hospitals WHERE City = 'Rio de Janeiro');