Cyclobut-A and cyclobut-G, carbocyclic oxetanocin analogs that inhibit the replication of human immunodeficiency virus in T cells and monocytes and macrophages in vitro