Decline in reported AIDS cases in Brazil after implementation of the test and treat initiative