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.