SF City Hall red in observance of World AIDS Day.