The present invention relates to a compound of formula: (I) or a pharmaceutically acceptable salt thereof, wherein the symbols are as defined in the specification; a pharmaceutical composition comprising the same, a method for treating or preventing a viral infection such as HIV using the same.