MicroPET imaging of Cre–loxP-mediated conditional activation of a herpes simplex virus type 1 thymidine kinase reporter gene