4,5-Dihydroxypyrimidine-6-carboxamides of formula:are described as inhibitors of HIV integrase and inhibitors of HIV replication, wherein R1, R2, R3 and R4 are defined herein. A catalyst-loaded carbon is dispersed in a mixed solution of an azeotropic solvent and ion exchanged water. The washing unit includes a wet or dry cleaning unit, with at least one brush and elements for transferring the carpet. The first computer 101 controls the data recording unit 102 to record data stored in the first storage unit 106 into a recording medium. Some corrosion sensors have power sources activated by directing a light source or other electromagnetic radiation source at the corrosion sensor.