How much does AIDS pay?